1. Formal methods for dynamical systems
Author: Marco Bernardo ... [et al.] (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,System design, Congresses
Classification :
QA76
.
9
.
F67
.
I58
2013
